<?php
include_once 'libraries/RepositoryAdmin.php';
deleteRepository($_GET["username"]);
?>